Early definition of inductive types in type theory:
Robert L. Constable, N. Paul Francis Mendler, Recursive definitions in type theory, in Logic of Programs 1985, Lecture Notes in Computer Science 193 Springer (1985) doi:10.1007/3-540-15648-8_5
Paul Francis Mendler, Inductive Definition in Type Theory, Cornell (1987) [hdl:1813/6710]
Last revised on January 17, 2023 at 12:24:56. See the history of this page for a list of all contributions to it.